- Stelligkeit (die)
- arité [arity]
Lexique philosophique allemand-français. D. Seron. 2004.
Stelligkeit (die)
Regardez d'autres dictionnaires:
Die cantorsche Paarungsfunktion — (manchmal auch Nummerierungsfunktion) ist eine in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert. Ihre Verallgemeinerung von Paaren auf Tupel wird als Cantorsche Tupelfunktion bezeichnet. Mit… … Deutsch Wikipedia
Stelligkeit — Der Begriff Stelligkeit (auch: Arität oder Ärität) steht für die Anzahl der Argumente einer Verknüpfung, einer Abbildung bzw. eines Operators oder in der Informatik für die Parameteranzahl von Funktionen, Prozeduren oder Methoden. Einstellige… … Deutsch Wikipedia
Funktional vollständig — Junktoren (von lat. iungere „verknüpfen, verbinden“) sind Verknüpfungen zwischen Aussagen innerhalb der Aussagenlogik, also logische Operatoren. Sie werden auch Konnektive, Konnektoren, Satzoperatoren, Satzverknüpfungen, Aussagenverknüpfer,… … Deutsch Wikipedia
Funktionale Vollständigkeit — Junktoren (von lat. iungere „verknüpfen, verbinden“) sind Verknüpfungen zwischen Aussagen innerhalb der Aussagenlogik, also logische Operatoren. Sie werden auch Konnektive, Konnektoren, Satzoperatoren, Satzverknüpfungen, Aussagenverknüpfer,… … Deutsch Wikipedia
Zweistellige Verknüpfung — Eine zweistellige Verknüpfung (auch binäre Verknüpfung genannt) ist in der Mathematik eine Verknüpfung, die genau zwei Operanden besitzt. Zweistellige Verknüpfungen treten insbesondere in der Algebra sehr häufig auf und man spricht dort abkürzend … Deutsch Wikipedia
Prädikatenlogik erster Stufe — Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt … Deutsch Wikipedia
Cantor'sche Paarungsfunktion — Die Cantorsche Paarungsfunktion (manchmal auch Nummerierungsfunktion) ist eine in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert. Ihre Verallgemeinerung von Paaren auf Tupel wird als Cantorsche… … Deutsch Wikipedia
Cantorsche Tupelfunktion — Die Cantorsche Paarungsfunktion (manchmal auch Nummerierungsfunktion) ist eine in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert. Ihre Verallgemeinerung von Paaren auf Tupel wird als Cantorsche… … Deutsch Wikipedia
Nummerierungsfunktion — Die Cantorsche Paarungsfunktion (manchmal auch Nummerierungsfunktion) ist eine in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert. Ihre Verallgemeinerung von Paaren auf Tupel wird als Cantorsche… … Deutsch Wikipedia
Standard-Tupelfunktion — Die Cantorsche Paarungsfunktion (manchmal auch Nummerierungsfunktion) ist eine in der theoretischen Informatik verwendete Abbildung, die auf dem Diagonalargument von Cantor basiert. Ihre Verallgemeinerung von Paaren auf Tupel wird als Cantorsche… … Deutsch Wikipedia
Umgekehrte Polnische Notation — Die Umgekehrte Polnische Notation (kurz UPN), englisch Reverse Polish Notation (kurz RPN), auch Postfixnotation genannt, ist eine von der Polnischen Notation abgeleitete Schreibweise bzw. Eingabelogik für die Anwendung von Operationen. Bei… … Deutsch Wikipedia
